Proof: the derivative of ln(x) is 1